4. Advanced modelling techniques in structural design /
پدیدآورنده : Feng Fu, City University London
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Structural analysis (Engineering)-- Mathematics.,Structural frames-- Mathematical models.
رده :
TA647
6. Categorical Topology
پدیدآورنده : edited by Eraldo Giuli.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra.,Logic, Symbolic and mathematical.,Mathematics.
7. Categorical logic and type theory
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Type theory. ; Categories (Mathematics) ;
8. Categorical logic and type theory
پدیدآورنده : Jacobs, Bart
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Type theory,، Categories )Mathematics(
رده :
QA
9
.
J22
9. Category theory and computer science :
پدیدآورنده : D.H. Pitt [and others] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics), Congresses.,Computer science, Congresses.,Catégories (Mathématiques)-- Congrès.,Informatique, Congrès.,Categorieën (wiskunde),Categories (Mathematics),Categories (Mathematics), Congresses.,Catégories (mathématiques)-- Congrès.,Computer science.,Computers.,Datenverarbeitung,Informatik,Kategorientheorie,Kongress,Logic, Symbolic and mathematical, Congresses.
رده :
QA75
.
5
.
S86
1991
10. Cohomological Methods in Homotopy Theory
پدیدآورنده : edited by Jaume Aguadé, Carles Broto, Carles Casacuberta.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics.
11. Handbook of Logic and Proof Techniques for Computer Science
پدیدآورنده : by Steven G. Krantz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Mathematics.
رده :
QA76
.
B978
2002
12. Hassler Whitney Collected Papers
پدیدآورنده : edited by James Eells, Domingo Toledo.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Science (General).
13. Iteration Theories :
پدیدآورنده : by Stephen L. Bloom, Zoltán Ésik.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic design.,Logic, Symbolic and mathematical.
رده :
QA76
.
9
.
M35
B978
1993
14. 2016 MATRIX annals /
پدیدآورنده : David R. Wood, editor-in-chief ; Jan de Gier, Cheryl E. Praeger, Terence Tao, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics-- Research.,Category Theory, Homological Algebra.,Group Theory and Generalizations.,K-Theory.,Mathematics.,Optimization.,Topology.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics-- Research.
رده :
QA11
.
A1
15. Mathematical survey lectures 1943-2004 /
پدیدآورنده : Beno Eckmann.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics.,Mathematics.
رده :
QA3
.
E25
2006eb
16. Modular forms and string duality /
پدیدآورنده : Noriko Yui, Helena Verrill, Charles F. Doran, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Duality (Mathematics), Congresses.,Forms, Modular, Congresses.,Mirror symmetry, Congresses.,Number theory, Congresses.,Particles (Nuclear physics), Congresses.,String models, Congresses.,Forms, Modular.,Matematik.,Mirror symmetry.,Number theory.,Particles (Nuclear physics),String models.
رده :
QA243
.
M695
2008
17. Perspectives in Ring Theory
پدیدآورنده : edited by F. Oystaeyen, Lieven Bruyn.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra.,Mathematics.
رده :
QA251
.
5
E358
1988
18. Proof and system-reliability
پدیدآورنده : edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.
19. Quantitative assessments of distributed systems :
پدیدآورنده : edited by Dario Bruneo and Salvatore Distefano
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer systems-- Evaluation-- Mathematics,Electronic data processing-- Distributed processing-- Mathematical models.,Quantitative research.,System analysis-- Mathematics.
رده :
QA76
.
9
.
E94
20. Real and complex singularities /
پدیدآورنده : edited by M. Manoel, M.C. Romero Fuster, C.T.C Wall
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Singularities (Mathematics), Congresses
رده :
QA614
.
58
.
I527
2008
